Viewpoint consistency in Z and LOTOS: A case study

Specification by viewpoints is advocated as a suitable method of specifying complex systems. Each viewpoint describes the envisaged system from a particular perspective, using concepts and specification languages best suited for that perspective. Inherent in any viewpoint approach is the need to check or manage the consistency of viewpoints and to show that the different viewpoints do not impose contradictory requirements. In previous work we have described a range of techniques for consistency checking, refinement, and translation between viewpoint specifications, in particular for the languages LOTOS and Z. These two languages are advocated in a particular viewpoint model, viz. that of the Open Distributed Processing (ODP) reference model. In this paper we present a case study which demonstrates how all these techniques can be combined in order to show consistency between a viewpoint specified in LOTOS and one specified in Z. Keywords: Viewpoints; Consistency; Z; LOTOS; ODP

Physical Activity Minimum Threshold Predicting Improved Function in Adults With Lower‐Extremity Symptoms

Objective To identify an evidence‐based minimum physical activity threshold to predict improved or sustained high function for adults with lower‐extremity joint symptoms. Methods Prospective multisite data from 1,629 adults, age ≥49 years with symptomatic lower‐extremity joint pain/aching/stiffness, participating in the Osteoarthritis Initiative accelerometer monitoring substudy were clinically assessed 2 years apart. Improved/high function in 2‐year gait speed and patient‐reported outcomes (PROs) were based on improving or remaining in the best (i.e., maintaining high) function quintile compared to baseline status. Optimal thresholds predicting improved/high function were investigated using classification trees for the legacy federal guideline metric requiring 150 minutes/week of moderate‐vigorous (MV) activity in bouts lasting 10 minutes or more (MV‐bout) and other metrics (total MV, sedentary, light intensity activity, nonsedentary minutes/week). Results Optimal thresholds based on total MV minutes/week predicted improved/high function outcomes more strongly than the legacy or other investigated metrics. Meeting the 45 total MV minutes/week threshold had increased relative risk (RR) for improved/high function (gait speed RR 1.8, 95% confidence interval [95% CI] 1.6, 2.1 and PRO physical function RR 1.4, 95% CI 1.3, 1.6) compared to less active adults. Thresholds were consistent across sex, body mass index, knee osteoarthritis status, and age. Conclusion These results supported a physical activity minimum threshold of 45 total MV minutes/week to promote improved or sustained high function for adults with lower‐extremity joint symptoms. This evidence‐based threshold is less rigorous than federal guidelines (≥150 MV‐bout minutes/week) and provides an intermediate goal towards the federal guideline for adults with lower‐extremity symptoms

High flow conditions mediate damaging impacts of sub-lethal thermal stress on corals' endosymbiotic algae

The effects of thermal anomalies on tropical coral endosymbiosis can be mediated by a range of environmental factors, which in turn ultimately influence coral health and survival. One such factor is the water flow conditions over coral reefs and corals. Although the physiological benefits of living under high water flow are well known, there remains a lack of conclusive experimental evidence characterizing how flow mitigates thermal stress responses in corals. Here we use in situ measurements of flow in a variety of reef habitats to constrain the importance of flow speeds on the endosymbiosis of an important reef building species under different thermal regimes. Under high flow speeds (0.15 m s−1) and thermal stress, coral endosymbionts retained photosynthetic function and recovery capacity for longer compared to low flow conditions (0.03 m s−1). We hypothesize that this may be due to increased rates of mass transfer of key metabolites under higher flow, putatively allowing corals to maintain photosynthetic efficiency for longer. We also identified a positive interactive effect between high flow and a pre-stress, sub-lethal pulse in temperature. While higher flow may delay the onset of photosynthetic stress, it does not appear to confer long-term protection; sustained exposure to thermal stress (eDHW accumulation equivalent to 4.9°C weeks) eventually overwhelmed the coral meta-organism as evidenced by eventual declines in photo-physiological function and endosymbiont densities. Investigating flow patterns at the scale of metres within the context of these physiological impacts can reveal interesting avenues for coral reef management. This study increases our understanding of the effects of water flow on coral reef health in an era of climate change and highlights the potential to learn from existing beneficial bio-physical interactions for the effective preservation of coral reefs into the future

Self-energy Effects in the Superfluidity of Neutron Matter

The superfluidity of neutron matter in the channel $^1 S_0$ is studied by taking into account the effect of the ground-state correlations in the self-energy. To this purpose the gap equation has been solved within the generalized Gorkov approach. A sizeable suppression of the energy gap is driven by the quasi-particle strength around the Fermi surface.Comment: 8 pages and 3 figure

One-dimensional collision carts computer model and its design ideas for productive experiential learning

We develop an Easy Java Simulation (EJS) model for students to experience the physics of idealized one-dimensional collision carts. The physics model is described and simulated by both continuous dynamics and discrete transition during collision. In the field of designing computer simulations, we discuss briefly three pedagogical considerations such as 1) consistent simulation world view with pen paper representation, 2) data table, scientific graphs and symbolic mathematical representations for ease of data collection and multiple representational visualizations and 3) game for simple concept testing that can further support learning. We also suggest using physical world setup to be augmented complimentary with simulation while highlighting three advantages of real collision carts equipment like tacit 3D experience, random errors in measurement and conceptual significance of conservation of momentum applied to just before and after collision. General feedback from the students has been relatively positive, and we hope teachers will find the simulation useful in their own classes. 2015 Resources added: http://iwant2study.org/ospsg/index.php/interactive-resources/physics/02-newtonian-mechanics/02-dynamics/46-one-dimension-collision-js-model http://iwant2study.org/ospsg/index.php/interactive-resources/physics/02-newtonian-mechanics/02-dynamics/195-elastic-collisionComment: 6 pages, 8 figures, 1 table, 1 L. K. Wee, Physics Education 47 (3), 301 (2012); ISSN 0031-912

Towards an Efficient Finite Element Method for the Integral Fractional Laplacian on Polygonal Domains

We explore the connection between fractional order partial differential equations in two or more spatial dimensions with boundary integral operators to develop techniques that enable one to efficiently tackle the integral fractional Laplacian. In particular, we develop techniques for the treatment of the dense stiffness matrix including the computation of the entries, the efficient assembly and storage of a sparse approximation and the efficient solution of the resulting equations. The main idea consists of generalising proven techniques for the treatment of boundary integral equations to general fractional orders. Importantly, the approximation does not make any strong assumptions on the shape of the underlying domain and does not rely on any special structure of the matrix that could be exploited by fast transforms. We demonstrate the flexibility and performance of this approach in a couple of two-dimensional numerical examples

The Dynamic Characteristics of a High Pressure Turbine Stage in a Transient Wind Tunnel

ABSTRACT A new transient facility for the study of time averaged and unsteady aerodynamics and heat transfer in a high pressure turbine was recently commissioned. During the facility design a high priority was placed on ease of access to the turbine blading to facilitate the development of blade mounted instrumentation. The turbine disc was cantilevered on a shaft by a thin annular link, with the shaft passing back through the disc to a single row and matched pair of relatively closely spaced bearings. The bearings were originally designed for use in a marine gas turbine. Due to the facility's novel mode of operation the bearings were working well beyond some of their original design limits, primarily due to the high turbine acceleration and the high speed/low load condition at the end of facility operation. During the facility design a programme of work was undertaken to predict its dynamic performance. This was continued during commissioning to measure actual facility performance. In this paper the predicted dynamic performance of the disc/shaft assembly and its bearing system are presented. The programme of work undertaken during the facility commissioning phase to ascertain actual dynamic performance is described, and the results discussed. Finally, the technique developed to field balance the rotating assembly following changes to blade instrumentation is described

Prevalence of Physical Activity in the United States: Behavioral Risk Factor Surveillance System, 2001

INTRODUCTION: The health benefits of regular cardiovascular exercise are well-known. Such exercise, however, has traditionally been defined as vigorous physical activity, such as jogging, swimming, or aerobic dance. Exercise of moderate intensity also promotes health, and many U.S. adults may be experiencing the health benefits of exercise through lifestyle activities of moderate intensity, such as yard work, housework, or walking for transportation. Until recently, public health surveillance systems have not included assessments of this type of physical activity, focusing on exercise of vigorous intensity. We used an enhanced surveillance tool to describe the prevalence and amount of both moderate-intensity and vigorous-intensity physical activity among U.S. adults. METHODS: We analyzed data from the 2001 Behavioral Risk Factor Surveillance System, a state-based, random-digit–dialed telephone survey administered to U.S. adults aged 18 years and older (n = 82,834 men and 120,286 women). Physical activity behavior was assessed using questions designed to quantify the frequency of participation in moderate- or vigorous-intensity physical activities performed during leisure time or for household chores and transportation. RESULTS: Overall, 45% of adults (48% of men and 43% of women) were active at recommended levels during nonworking hours (at least 30 minutes five or more days per week in moderate-intensity activities, equivalent to brisk walking, or at least 20 minutes three or more days per week in vigorous activities, equivalent to running, heavy yard work, or aerobic dance). Less than 16% of adults (15% of men and 17% of women) reported no moderate or vigorous activity in a usual week. CONCLUSION: Integrating surveillance of lifestyle activities into national systems is possible, and doing so may provide a more accurate representation of the prevalence of recommended levels of physical activity. These results, however, suggest that the majority of U.S. adults are not active at levels associated with the promotion and maintenance of health

Efficient Design and Analysis of Lightweight Reinforced Core Sandwich and PRSEUS Structures

Design, analysis, and sizing methods for two novel structural panel concepts have been developed and incorporated into the HyperSizer Structural Sizing Software. Reinforced Core Sandwich (RCS) panels consist of a foam core with reinforcing composite webs connecting composite facesheets. Boeing s Pultruded Rod Stitched Efficient Unitized Structure (PRSEUS) panels use a pultruded unidirectional composite rod to provide axial stiffness along with integrated transverse frames and stitching. Both of these structural concepts are ovencured and have shown great promise applications in lightweight structures, but have suffered from the lack of efficient sizing capabilities similar to those that exist for honeycomb sandwich, foam sandwich, hat stiffened, and other, more traditional concepts. Now, with accurate design methods for RCS and PRSEUS panels available in HyperSizer, these concepts can be traded and used in designs as is done with the more traditional structural concepts. The methods developed to enable sizing of RCS and PRSEUS are outlined, as are results showing the validity and utility of the methods. Applications include several large NASA heavy lift launch vehicle structures